UEBER METRISCHE KLEENE-VOLLSTAENDIGKEIT. = SUR LA COMPLETUDE DE KLEENE EN METRIQUEDASSOW J.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 9; PP. 557-560; ABS. ANGL. RUSSE; BIBL. 5 REF.Article

COMPLETE REGISTER ALLOCATION PROBLEMS.RAVI SETHI.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 3; PP. 226-248; BIBL. 12 REF.Article

ON THE COMPLETENESS PRINCIPLE: A STUDY OF PROVABILITY IN HEYTING'S ARITHMETIC AND EXTENSIONSVISSER A.1982; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1982; VOL. 22; NO 3; PP. 263-295; BIBL. 13 REF.Article

SUR LA PUISSANCE DE L'ENSEMBLE DES CLASSES PRECOMPLETES DANS CERTAINES CLASSES DE FONCTIONS DE LA LOGIQUE A UNE INFINITE DENOMBRABLE DE VALEURSMARCHENKOV SS.1981; PROBL. KIBERN.; SUN; DA. 1981; NO 38; PP. 108-116; BIBL. 10 REF.Article

INTRODUCTION TO MATHEMATICAL LOGICHERMES H.1973; BERLIN; SPRINGER-VERLAG; DA. 1973; PP. (253 P.); BIBL. 3 P.; ISBN 3540058192; TRAD. DE L'ALLEMBook

SUR LE PROBLEME DE LA COMPLETUDE DANS LA THEORIE DES AUTOMATESDONIS AA.1972; IZVEST. VYSSH. UCHEBN. ZAVED., MAT.; S.S.S.R.; DA. 1972; NO 6; PP. 19-25; BIBL. 3 REF.Serial Issue

SUR LES PROPRIETES DES S-SYSTEMES DE FONCTIONS D'UNE LOGIQUE K-VALENTEKUDRYAVTSEV VB.1971; DISKRETN. ANAL.; S.S.S.R.; DA. 1971; NO 19; PP. 15-47; BIBL. 1 P. 1/2Serial Issue

COMPLETUDE DES LOGIQUES MODALES DE LARGEUR PREFINIERYBAKOV VV.1982; MAT. ZAMET.; ISSN 507075; SUN; DA. 1982; VOL. 32; NO 2; PP. 223-228; BIBL. 7 REF.Article

COMPLETUDE SPECIALE DE QUELQUES LANGAGES DES LOGIQUES K-VALENTESMOSHCHENSKIJ VA.1981; METODY DISKRETN. ANAL.; SUN; DA. 1981; NO 36; PP. 39-45; BIBL. 2 REF.Article

ON THE STRONG SEMANTICAL COMPLETENESS OF ANY EXTENSION OF THE INTUITIONISTIC PREDICATE CALCULUS.RAUSZER C.1976; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1976; VOL. 24; NO 2; PP. 81-87; ABS. RUSSE; BIBL. 3 REF.Article

PRAEVOLLSTAENDIGE KLASSEN VON P_K,L. = CLASSES PRECOMPLETES DE P^K,L))LAU D.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 10-12; PP. 624-626; BIBL. 3 REF.; (INT. SYMP. DISKRETE MATH. ANWEND. MATH. KYBERN.; BERLIN; 1974). RESUMEConference Paper

NORMED LINEAR SPACESDAY MM.1973; ERGEBN. MATH. GRENZGEB.; DTSCH.; DA. 1973; VOL. 21; PP. (219 P.); BIBL. 13 P.Serial Issue

WHICH NUMBER THEORETIC PROBLEMS CAN BE SOLVED IN RECURSIVE PROGRESSIONS ON PI ₁¹-PATHS THROUGH 0KREISEL G.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 2; PP. 311-334; BIBL. 13 REF.Serial Issue

CONDITIONS DE COMPLETUDE DES SYSTEMES D'AUTOMATES DE MOORE FAIBLEMENT INITIAUXDONIS AA.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 3; PP. 36-53; ABS. ANGL.; BIBL. 10 REF.Serial Issue

METHODE INVERSE ET TACTIQUES D'ETABLISSEMENT DE LA DEDUCTIBILITE POUR UN CALCUL COMPORTANT DES SIGNES FONCTIONNELSMASLOV S YU.1972; TRUDY MAT. INST. V.A. STEKLOVA, MOSKVA; S.S.S.R.; DA. 1972; VOL. 121; PP. 14-56; BIBL. 24 REF.Serial Issue

REMARQUES SUR UNE CLASSE DE FONCTIONS PARTIELLES D'UNE LOGIQUE A VALEURS DENOMBRABLESSOKOLOV VA.1971; DISKRETN. ANAL.; S.S.S.R.; DA. 1971; NO 19; PP. 56-62; BIBL. 6 REF.Serial Issue

COMPLETUDE DES FAMILLES DE MESURES DE PROBABILITES DANS LE CAS D'UNE ENQUETE SUIVANT LES PLANS DE PREMIERE ENTREEBELYAEV YU K; MAL'KOV AN.1975; DOKL. AKAD NAUK S.S.S.R.; S.S.S.R.; DA. 1975; VOL. 225; NO 1; PP. 27-30; BIBL. 8 REF.Article

KLEENE-VOLLSTAENDIGKEIT BEI STARK-DEFINITEN EREIGNISSEN. = COMPLETION AU SENS DE KLEENE AU MOYEN D'EVENEMENTS DEFINIS AU SENS FORTDASSOW J.1974; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1974; VOL. 10; NO 7; PP. 399-405; ABS. ANGL. RUSSEArticle

LES THETA -ULTRAFILTRES VALIDANTS D'ALGEBRE DE LINDENBAUM-TARSKI D'UN CALCUL DES PREDICATS A THETA -VALEURSGEORGESCU G.1972; BULL. MATH. SOC. SCI. MATH. REPUBL. SOCIAL. ROUMAN.; ROUMAN.; DA. 1972; VOL. 15; NO 1; PP. 9-19; BIBL. 6 REF.Serial Issue

ON THE COMPLETENESS THEOREM FOR BI-MODAL SYSTEM LT_OMEGA AND LET_OMEGA KAWAI H.1981; MATH. JPN.; ISSN 0025-5513; JPN; DA. 1981; VOL. 26; NO 4; PP. 377-383; BIBL. 16 REF.Article

SUR LE PROBLEME DE LA COMPLETUDE DES PLANS DANS UN SCHEMA DE PROMENADES ALEATOIRESLUMEL'SKIJ YA P; STAROSEL'SKIJ BG.1975; MAT. ZAMET.; S.S.S.R.; DA. 1975; VOL. 17; NO 5; PP. 783-788; BIBL. 7 REF.Article

ANALYTIC SINGULARITIES AND GEODESIC COMPLETENESS. II.IHRIG E; SEN DK.1975; ANN. INST. HENRI POINCARE, A; FR.; DA. 1975; VOL. 23; NO 4; PP. 357-364; BIBL. 5 REF.Article

NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGICTHOMASON SK.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 716-720; BIBL. 3 REF.Serial Issue

UN ESSAI DE SYNTHESE EN LOGIQUE TRIVALENTEFORT M.1972; ; S.L.; DA. 1972; PP. 1-115; H.T. 2; BIBL. 2 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. PURES; UNIV. CLAUDE BERNARD LYON; 1972)Thesis

HOMOGENEITY AND COMPLETENESSCSAKANY B.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 81-89; BIBL. 32 REF.Conference Paper